(0 12 11 10 3)(1 13 9 7 4)(2 15 5)(6 14 8)
ALLOWS (11/8)-SEQUENCE
1: (0 1 3)
(0)(1 12 11 10 3 13 9 7 4)(2 15 5)(6 14 8)
2: (3 7 12)
(0)(1 12 4)(2 15 5)(3 11 10)(6 14 8)(7 13 9)
3: (6 14 8)
(0)(1 12 4)(2 15 5)(3 11 10)(6)(7 13 9)(8)(14)
4: (7 13 9)
(0)(1 12 4)(2 15 5)(3 11 10)(6)(7)(8)(9)(13)(14)